Lambda point - PDFSEARCH.IO - Document Search Engine

Lambda point
Results: 124

#	Item
51	ZU064-05-FPR rhiger-submitted 18 August 2008 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-10-17 11:56:59 Lambda calculus Type theory Data types Functional programming Logic in computer science Pattern matching Standard ML Combinatory logic Fixed-point combinator Software engineering Theoretical computer science Computing
52	Terminology: Denoted and Expressed Values A denoted value is the meaning of a variable An expressed value is the result of an expression Terminology: Denoted and Expressed Values First-order functions Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Mathematical logic Recursion Lambda calculus Factorial Scheme Function Primitive recursive function Fixed-point combinator Mathematics Computability theory Computer programming
53	A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions ∗ Kedar Swadi † Walid Taha Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2006-01-29 08:17:09 Functional programming Lambda calculus Adjoint functors Theoretical computer science Combinatory logic Memoization Fixed-point combinator Monad Combinator library Software engineering Computing Declarative programming
54	A Variadic Extension of Curry’s Fixed-Point Combinator Mayer Goldberg ()∗ Department of Computer Science Ben Gurion University, Beer Sheva 84105, Israel Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Lambda calculus Subroutines Recursion Higher-order functions Functional programming Fixed-point combinator Variadic function Combinatory logic Fold Software engineering Computing Declarative programming
55	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:16 Lambda calculus Recursion Subroutines Computability theory Theoretical computer science Higher-order abstract syntax Fixed-point combinator Scheme Continuation-passing style Software engineering Computing Computer programming
56	Genuinely Functional User Interfaces Antony Courtney 1,2 Dept. of Computer Science Yale University New Haven, CT 06520 Add to Reading List Source URL: conal.net Language: English - Date: 2001-09-17 19:15:42 Lambda calculus Digital electronics Logic in computer science Digital signal processing Fixed-point combinator Recursion Transformer Monad Combinatory logic Theoretical computer science Electronic engineering Applied mathematics
57	Typed Self-Representation Tillmann Rendel Klaus Ostermann Christian Hofer Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2009-03-29 13:41:42 Programming language theory Type theory Fixed-point combinator Simply typed lambda calculus System F Typed lambda calculus Type system Generalized algebraic data type Entailment Theoretical computer science Software engineering Lambda calculus
58	Theoretical Informatics and Applications Will be set by the publisher Informatique Th´ eorique et Applications Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2005-06-20 12:22:00 Recursion Proof theory Computability theory Logic in computer science Lambda calculus Symbol Natural deduction Curry–Howard correspondence Fixed-point combinator Theoretical computer science Mathematical logic Mathematics
59	could be restricted to those for whi ch thi s promi se can be kept. Whi l e the mechani sms descri bed i n the PT proposal are onl y tangenti al l y rel evant to thi s i ssue { the same probl em woul d have ari sen i n d Add to Reading List Source URL: gee.cs.oswego.edu Language: English - Date: 2000-01-18 10:01:40 Lambda calculus Recursion Applied mathematics English phonology Theoretical computer science Combinatory logic Fixed-point combinator
60	Everything old is new again: Quoted Domain Specific Languages Shayan Najd Sam Lindley Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-03-15 07:34:21 Lambda calculus Type theory Combinatory logic Fixed-point combinator Recursion Type system Monad Declaration First-order logic Theoretical computer science Software engineering Mathematical logic

UPDATE